resolution of finite type

[数] 有限型分解